Dec 02 12:40:07.357 INFO testing type-level-logic-0.1.0 against master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61 for beta-1.31-5
Dec 02 12:40:07.357 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-1/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 02 12:40:07.834 INFO [stdout] 5c78131ac31ee7f7e38d48c048a0657d55ce5f079c10683e6781894d0b8af1e6
Dec 02 12:40:07.836 INFO running `"docker" "start" "-a" "5c78131ac31ee7f7e38d48c048a0657d55ce5f079c10683e6781894d0b8af1e6"`
Dec 02 12:40:09.363 INFO [stderr] usermod: no changes
Dec 02 12:40:09.423 INFO [stderr]    Compiling type-operators v0.3.5
Dec 02 12:40:10.173 INFO [stderr]    Compiling type-level-logic v0.1.0 (/source)
Dec 02 12:40:11.740 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.740 INFO [stderr]  --> src/strong/boolean.rs:9:19
Dec 02 12:40:11.740 INFO [stderr]   |
Dec 02 12:40:11.740 INFO [stderr] 9 |     (And) BoolAnd(Bool, Bool): Bool {
Dec 02 12:40:11.740 INFO [stderr]   |                   ^^^^
Dec 02 12:40:11.740 INFO [stderr]   |
Dec 02 12:40:11.740 INFO [stderr]   = note: #[warn(type_alias_bounds)] on by default
Dec 02 12:40:11.740 INFO [stderr]   = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.740 INFO [stderr] 
Dec 02 12:40:11.740 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.740 INFO [stderr]  --> src/strong/boolean.rs:9:25
Dec 02 12:40:11.740 INFO [stderr]   |
Dec 02 12:40:11.740 INFO [stderr] 9 |     (And) BoolAnd(Bool, Bool): Bool {
Dec 02 12:40:11.741 INFO [stderr]   |                         ^^^^
Dec 02 12:40:11.741 INFO [stderr]   |
Dec 02 12:40:11.741 INFO [stderr]   = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.741 INFO [stderr] 
Dec 02 12:40:11.741 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.741 INFO [stderr]   --> src/strong/boolean.rs:17:17
Dec 02 12:40:11.741 INFO [stderr]    |
Dec 02 12:40:11.741 INFO [stderr] 17 |     (Or) BoolOr(Bool, Bool): Bool {
Dec 02 12:40:11.741 INFO [stderr]    |                 ^^^^
Dec 02 12:40:11.741 INFO [stderr]    |
Dec 02 12:40:11.741 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.741 INFO [stderr] 
Dec 02 12:40:11.741 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.741 INFO [stderr]   --> src/strong/boolean.rs:17:23
Dec 02 12:40:11.741 INFO [stderr]    |
Dec 02 12:40:11.741 INFO [stderr] 17 |     (Or) BoolOr(Bool, Bool): Bool {
Dec 02 12:40:11.741 INFO [stderr]    |                       ^^^^
Dec 02 12:40:11.741 INFO [stderr]    |
Dec 02 12:40:11.741 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.741 INFO [stderr] 
Dec 02 12:40:11.741 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.741 INFO [stderr]   --> src/strong/boolean.rs:26:25
Dec 02 12:40:11.741 INFO [stderr]    |
Dec 02 12:40:11.741 INFO [stderr] 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Dec 02 12:40:11.741 INFO [stderr]    |                         ^^^^
Dec 02 12:40:11.741 INFO [stderr]    |
Dec 02 12:40:11.742 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.742 INFO [stderr] 
Dec 02 12:40:11.742 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.742 INFO [stderr]   --> src/strong/boolean.rs:26:31
Dec 02 12:40:11.742 INFO [stderr]    |
Dec 02 12:40:11.742 INFO [stderr] 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Dec 02 12:40:11.742 INFO [stderr]    |                               ^^^^
Dec 02 12:40:11.742 INFO [stderr]    |
Dec 02 12:40:11.742 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.742 INFO [stderr] 
Dec 02 12:40:11.742 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.742 INFO [stderr]   --> src/strong/boolean.rs:35:25
Dec 02 12:40:11.742 INFO [stderr]    |
Dec 02 12:40:11.742 INFO [stderr] 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Dec 02 12:40:11.742 INFO [stderr]    |                         ^^^^
Dec 02 12:40:11.742 INFO [stderr]    |
Dec 02 12:40:11.742 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.742 INFO [stderr] 
Dec 02 12:40:11.742 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.742 INFO [stderr]   --> src/strong/boolean.rs:35:31
Dec 02 12:40:11.742 INFO [stderr]    |
Dec 02 12:40:11.742 INFO [stderr] 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Dec 02 12:40:11.742 INFO [stderr]    |                               ^^^^
Dec 02 12:40:11.742 INFO [stderr]    |
Dec 02 12:40:11.742 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.742 INFO [stderr] 
Dec 02 12:40:11.742 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.742 INFO [stderr]   --> src/strong/boolean.rs:43:19
Dec 02 12:40:11.742 INFO [stderr]    |
Dec 02 12:40:11.742 INFO [stderr] 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Dec 02 12:40:11.742 INFO [stderr]    |                   ^^^^
Dec 02 12:40:11.742 INFO [stderr]    |
Dec 02 12:40:11.742 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.743 INFO [stderr] 
Dec 02 12:40:11.743 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.743 INFO [stderr]   --> src/strong/boolean.rs:43:25
Dec 02 12:40:11.743 INFO [stderr]    |
Dec 02 12:40:11.743 INFO [stderr] 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Dec 02 12:40:11.743 INFO [stderr]    |                         ^^^^
Dec 02 12:40:11.743 INFO [stderr]    |
Dec 02 12:40:11.743 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.743 INFO [stderr] 
Dec 02 12:40:11.743 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.743 INFO [stderr]   --> src/strong/ternary.rs:14:24
Dec 02 12:40:11.743 INFO [stderr]    |
Dec 02 12:40:11.743 INFO [stderr] 14 |     (Nat2First) Nat2P1(NatPair): Nat {
Dec 02 12:40:11.743 INFO [stderr]    |                        ^^^^^^^
Dec 02 12:40:11.743 INFO [stderr]    |
Dec 02 12:40:11.743 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.743 INFO [stderr] 
Dec 02 12:40:11.743 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.743 INFO [stderr]   --> src/strong/ternary.rs:21:25
Dec 02 12:40:11.743 INFO [stderr]    |
Dec 02 12:40:11.743 INFO [stderr] 21 |     (Nat2Second) Nat2P2(NatPair): Nat {
Dec 02 12:40:11.743 INFO [stderr]    |                         ^^^^^^^
Dec 02 12:40:11.743 INFO [stderr]    |
Dec 02 12:40:11.744 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.744 INFO [stderr] 
Dec 02 12:40:11.744 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.744 INFO [stderr]   --> src/strong/ternary.rs:29:20
Dec 02 12:40:11.744 INFO [stderr]    |
Dec 02 12:40:11.744 INFO [stderr] 29 |     (Succ) NatSucc(Nat): Nat {
Dec 02 12:40:11.744 INFO [stderr]    |                    ^^^
Dec 02 12:40:11.744 INFO [stderr]    |
Dec 02 12:40:11.744 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.744 INFO [stderr] 
Dec 02 12:40:11.744 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.744 INFO [stderr]   --> src/strong/ternary.rs:41:20
Dec 02 12:40:11.744 INFO [stderr]    |
Dec 02 12:40:11.744 INFO [stderr] 41 |     (Pred) NatPred(Nat): Nat {
Dec 02 12:40:11.744 INFO [stderr]    |                    ^^^
Dec 02 12:40:11.744 INFO [stderr]    |
Dec 02 12:40:11.744 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.744 INFO [stderr] 
Dec 02 12:40:11.744 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.744 INFO [stderr]   --> src/strong/ternary.rs:53:32
Dec 02 12:40:11.744 INFO [stderr]    |
Dec 02 12:40:11.744 INFO [stderr] 53 |     (DoublePred) NatDoublePred(Nat): Nat {
Dec 02 12:40:11.745 INFO [stderr]    |                                ^^^
Dec 02 12:40:11.745 INFO [stderr]    |
Dec 02 12:40:11.745 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.745 INFO [stderr] 
Dec 02 12:40:11.745 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.745 INFO [stderr]   --> src/strong/ternary.rs:68:24
Dec 02 12:40:11.745 INFO [stderr]    |
Dec 02 12:40:11.745 INFO [stderr] 68 |     (Triple) NatTriple(Nat): Nat {
Dec 02 12:40:11.745 INFO [stderr]    |                        ^^^
Dec 02 12:40:11.745 INFO [stderr]    |
Dec 02 12:40:11.745 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.745 INFO [stderr] 
Dec 02 12:40:11.745 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.745 INFO [stderr]   --> src/strong/ternary.rs:81:24
Dec 02 12:40:11.745 INFO [stderr]    |
Dec 02 12:40:11.745 INFO [stderr] 81 |     (Unique) NatUnique(Nat): Nat {
Dec 02 12:40:11.745 INFO [stderr]    |                        ^^^
Dec 02 12:40:11.745 INFO [stderr]    |
Dec 02 12:40:11.745 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.745 INFO [stderr] 
Dec 02 12:40:11.745 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.745 INFO [stderr]   --> src/strong/ternary.rs:95:18
Dec 02 12:40:11.745 INFO [stderr]    |
Dec 02 12:40:11.746 INFO [stderr] 95 |     (Add) NatAdd(Nat, Nat): Nat {
Dec 02 12:40:11.746 INFO [stderr]    |                  ^^^
Dec 02 12:40:11.746 INFO [stderr]    |
Dec 02 12:40:11.746 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.746 INFO [stderr] 
Dec 02 12:40:11.746 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.746 INFO [stderr]   --> src/strong/ternary.rs:95:23
Dec 02 12:40:11.746 INFO [stderr]    |
Dec 02 12:40:11.746 INFO [stderr] 95 |     (Add) NatAdd(Nat, Nat): Nat {
Dec 02 12:40:11.746 INFO [stderr]    |                       ^^^
Dec 02 12:40:11.746 INFO [stderr]    |
Dec 02 12:40:11.746 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.746 INFO [stderr] 
Dec 02 12:40:11.746 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.746 INFO [stderr]    --> src/strong/ternary.rs:128:38
Dec 02 12:40:11.746 INFO [stderr]     |
Dec 02 12:40:11.746 INFO [stderr] 128 |     (TriplePlusOne) NatTriplePlusOne(Nat): Nat {
Dec 02 12:40:11.746 INFO [stderr]     |                                      ^^^
Dec 02 12:40:11.746 INFO [stderr]     |
Dec 02 12:40:11.746 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.746 INFO [stderr] 
Dec 02 12:40:11.746 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.746 INFO [stderr]    --> src/strong/ternary.rs:139:38
Dec 02 12:40:11.746 INFO [stderr]     |
Dec 02 12:40:11.746 INFO [stderr] 139 |     (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat {
Dec 02 12:40:11.746 INFO [stderr]     |                                      ^^^
Dec 02 12:40:11.746 INFO [stderr]     |
Dec 02 12:40:11.746 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.746 INFO [stderr] 
Dec 02 12:40:11.747 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.747 INFO [stderr]    --> src/strong/ternary.rs:152:18
Dec 02 12:40:11.747 INFO [stderr]     |
Dec 02 12:40:11.747 INFO [stderr] 152 |     (Sub) NatSub(Nat, Nat): Nat {
Dec 02 12:40:11.747 INFO [stderr]     |                  ^^^
Dec 02 12:40:11.747 INFO [stderr]     |
Dec 02 12:40:11.747 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.747 INFO [stderr] 
Dec 02 12:40:11.747 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.747 INFO [stderr]    --> src/strong/ternary.rs:152:23
Dec 02 12:40:11.747 INFO [stderr]     |
Dec 02 12:40:11.747 INFO [stderr] 152 |     (Sub) NatSub(Nat, Nat): Nat {
Dec 02 12:40:11.747 INFO [stderr]     |                       ^^^
Dec 02 12:40:11.747 INFO [stderr]     |
Dec 02 12:40:11.747 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.747 INFO [stderr] 
Dec 02 12:40:11.748 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.748 INFO [stderr]    --> src/strong/ternary.rs:185:18
Dec 02 12:40:11.748 INFO [stderr]     |
Dec 02 12:40:11.748 INFO [stderr] 185 |     (Mul) NatMul(Nat, Nat): Nat {
Dec 02 12:40:11.748 INFO [stderr]     |                  ^^^
Dec 02 12:40:11.748 INFO [stderr]     |
Dec 02 12:40:11.748 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.748 INFO [stderr] 
Dec 02 12:40:11.748 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.748 INFO [stderr]    --> src/strong/ternary.rs:185:23
Dec 02 12:40:11.748 INFO [stderr]     |
Dec 02 12:40:11.748 INFO [stderr] 185 |     (Mul) NatMul(Nat, Nat): Nat {
Dec 02 12:40:11.748 INFO [stderr]     |                       ^^^
Dec 02 12:40:11.748 INFO [stderr]     |
Dec 02 12:40:11.748 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.748 INFO [stderr] 
Dec 02 12:40:11.748 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.748 INFO [stderr]    --> src/strong/ternary.rs:220:18
Dec 02 12:40:11.749 INFO [stderr]     |
Dec 02 12:40:11.749 INFO [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Dec 02 12:40:11.749 INFO [stderr]     |                  ^^^
Dec 02 12:40:11.749 INFO [stderr]     |
Dec 02 12:40:11.749 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.749 INFO [stderr] 
Dec 02 12:40:11.749 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.749 INFO [stderr]    --> src/strong/ternary.rs:220:23
Dec 02 12:40:11.749 INFO [stderr]     |
Dec 02 12:40:11.749 INFO [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Dec 02 12:40:11.749 INFO [stderr]     |                       ^^^
Dec 02 12:40:11.749 INFO [stderr]     |
Dec 02 12:40:11.749 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.749 INFO [stderr] 
Dec 02 12:40:11.749 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.749 INFO [stderr]    --> src/strong/ternary.rs:220:28
Dec 02 12:40:11.749 INFO [stderr]     |
Dec 02 12:40:11.749 INFO [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Dec 02 12:40:11.749 INFO [stderr]     |                            ^^^
Dec 02 12:40:11.749 INFO [stderr]     |
Dec 02 12:40:11.749 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.749 INFO [stderr] 
Dec 02 12:40:11.749 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.750 INFO [stderr]    --> src/strong/ternary.rs:220:33
Dec 02 12:40:11.750 INFO [stderr]     |
Dec 02 12:40:11.750 INFO [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Dec 02 12:40:11.750 INFO [stderr]     |                                 ^^^
Dec 02 12:40:11.750 INFO [stderr]     |
Dec 02 12:40:11.750 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.750 INFO [stderr] 
Dec 02 12:40:11.750 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.750 INFO [stderr]    --> src/strong/ternary.rs:220:38
Dec 02 12:40:11.750 INFO [stderr]     |
Dec 02 12:40:11.750 INFO [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Dec 02 12:40:11.750 INFO [stderr]     |                                      ^^^
Dec 02 12:40:11.750 INFO [stderr]     |
Dec 02 12:40:11.750 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.750 INFO [stderr] 
Dec 02 12:40:11.750 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.750 INFO [stderr]    --> src/strong/ternary.rs:247:28
Dec 02 12:40:11.750 INFO [stderr]     |
Dec 02 12:40:11.750 INFO [stderr] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Dec 02 12:40:11.750 INFO [stderr]     |                            ^^^
Dec 02 12:40:11.750 INFO [stderr]     |
Dec 02 12:40:11.751 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.751 INFO [stderr] 
Dec 02 12:40:11.751 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.751 INFO [stderr]    --> src/strong/ternary.rs:247:33
Dec 02 12:40:11.751 INFO [stderr]     |
Dec 02 12:40:11.751 INFO [stderr] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Dec 02 12:40:11.751 INFO [stderr]     |                                 ^^^
Dec 02 12:40:11.751 INFO [stderr]     |
Dec 02 12:40:11.751 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.751 INFO [stderr] 
Dec 02 12:40:11.751 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.751 INFO [stderr]    --> src/strong/ternary.rs:247:38
Dec 02 12:40:11.751 INFO [stderr]     |
Dec 02 12:40:11.751 INFO [stderr] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Dec 02 12:40:11.751 INFO [stderr]     |                                      ^^^^^^^
Dec 02 12:40:11.751 INFO [stderr]     |
Dec 02 12:40:11.751 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.751 INFO [stderr] 
Dec 02 12:40:11.751 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.751 INFO [stderr]    --> src/strong/ternary.rs:262:18
Dec 02 12:40:11.751 INFO [stderr]     |
Dec 02 12:40:11.752 INFO [stderr] 262 |     (Rev) NatRev(Nat): Nat {
Dec 02 12:40:11.752 INFO [stderr]     |                  ^^^
Dec 02 12:40:11.752 INFO [stderr]     |
Dec 02 12:40:11.752 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.752 INFO [stderr] 
Dec 02 12:40:11.752 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.752 INFO [stderr]    --> src/strong/ternary.rs:268:34
Dec 02 12:40:11.752 INFO [stderr]     |
Dec 02 12:40:11.752 INFO [stderr] 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Dec 02 12:40:11.752 INFO [stderr]     |                                  ^^^
Dec 02 12:40:11.752 INFO [stderr]     |
Dec 02 12:40:11.752 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.752 INFO [stderr] 
Dec 02 12:40:11.752 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.752 INFO [stderr]    --> src/strong/ternary.rs:268:39
Dec 02 12:40:11.752 INFO [stderr]     |
Dec 02 12:40:11.752 INFO [stderr] 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Dec 02 12:40:11.752 INFO [stderr]     |                                       ^^^
Dec 02 12:40:11.752 INFO [stderr]     |
Dec 02 12:40:11.752 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.752 INFO [stderr] 
Dec 02 12:40:11.753 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.753 INFO [stderr]    --> src/strong/ternary.rs:281:18
Dec 02 12:40:11.753 INFO [stderr]     |
Dec 02 12:40:11.753 INFO [stderr] 281 |     (Div) NatDiv(Nat, Nat): Nat {
Dec 02 12:40:11.753 INFO [stderr]     |                  ^^^
Dec 02 12:40:11.753 INFO [stderr]     |
Dec 02 12:40:11.753 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.753 INFO [stderr] 
Dec 02 12:40:11.753 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.753 INFO [stderr]    --> src/strong/ternary.rs:281:23
Dec 02 12:40:11.753 INFO [stderr]     |
Dec 02 12:40:11.753 INFO [stderr] 281 |     (Div) NatDiv(Nat, Nat): Nat {
Dec 02 12:40:11.753 INFO [stderr]     |                       ^^^
Dec 02 12:40:11.753 INFO [stderr]     |
Dec 02 12:40:11.753 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.753 INFO [stderr] 
Dec 02 12:40:11.753 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.753 INFO [stderr]    --> src/strong/ternary.rs:306:18
Dec 02 12:40:11.753 INFO [stderr]     |
Dec 02 12:40:11.754 INFO [stderr] 306 |     (Rem) NatRem(Nat, Nat): Nat {
Dec 02 12:40:11.754 INFO [stderr]     |                  ^^^
Dec 02 12:40:11.754 INFO [stderr]     |
Dec 02 12:40:11.754 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.754 INFO [stderr] 
Dec 02 12:40:11.754 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.754 INFO [stderr]    --> src/strong/ternary.rs:306:23
Dec 02 12:40:11.754 INFO [stderr]     |
Dec 02 12:40:11.754 INFO [stderr] 306 |     (Rem) NatRem(Nat, Nat): Nat {
Dec 02 12:40:11.754 INFO [stderr]     |                       ^^^
Dec 02 12:40:11.754 INFO [stderr]     |
Dec 02 12:40:11.754 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.754 INFO [stderr] 
Dec 02 12:40:11.754 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.754 INFO [stderr]    --> src/strong/ternary.rs:329:34
Dec 02 12:40:11.754 INFO [stderr]     |
Dec 02 12:40:11.755 INFO [stderr] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Dec 02 12:40:11.755 INFO [stderr]     |                                  ^^^
Dec 02 12:40:11.755 INFO [stderr]     |
Dec 02 12:40:11.755 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.755 INFO [stderr] 
Dec 02 12:40:11.755 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.755 INFO [stderr]    --> src/strong/ternary.rs:329:39
Dec 02 12:40:11.755 INFO [stderr]     |
Dec 02 12:40:11.755 INFO [stderr] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Dec 02 12:40:11.755 INFO [stderr]     |                                       ^^^
Dec 02 12:40:11.755 INFO [stderr]     |
Dec 02 12:40:11.755 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.755 INFO [stderr] 
Dec 02 12:40:11.755 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.755 INFO [stderr]    --> src/strong/ternary.rs:329:44
Dec 02 12:40:11.755 INFO [stderr]     |
Dec 02 12:40:11.755 INFO [stderr] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Dec 02 12:40:11.755 INFO [stderr]     |                                            ^^^^^^^
Dec 02 12:40:11.755 INFO [stderr]     |
Dec 02 12:40:11.755 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.755 INFO [stderr] 
Dec 02 12:40:11.756 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.756 INFO [stderr]   --> src/strong/balanced.rs:10:24
Dec 02 12:40:11.756 INFO [stderr]    |
Dec 02 12:40:11.756 INFO [stderr] 10 |     (Int2First) Int2P1(IntPair): Int {
Dec 02 12:40:11.756 INFO [stderr]    |                        ^^^^^^^
Dec 02 12:40:11.756 INFO [stderr]    |
Dec 02 12:40:11.756 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.756 INFO [stderr] 
Dec 02 12:40:11.756 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.756 INFO [stderr]   --> src/strong/balanced.rs:17:25
Dec 02 12:40:11.756 INFO [stderr]    |
Dec 02 12:40:11.756 INFO [stderr] 17 |     (Int2Second) Int2P2(IntPair): Int {
Dec 02 12:40:11.756 INFO [stderr]    |                         ^^^^^^^
Dec 02 12:40:11.756 INFO [stderr]    |
Dec 02 12:40:11.756 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.756 INFO [stderr] 
Dec 02 12:40:11.757 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.757 INFO [stderr]   --> src/strong/balanced.rs:24:20
Dec 02 12:40:11.757 INFO [stderr]    |
Dec 02 12:40:11.757 INFO [stderr] 24 |     (Succ) IntSucc(Int): Int {
Dec 02 12:40:11.757 INFO [stderr]    |                    ^^^
Dec 02 12:40:11.757 INFO [stderr]    |
Dec 02 12:40:11.757 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.757 INFO [stderr] 
Dec 02 12:40:11.757 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.757 INFO [stderr]   --> src/strong/balanced.rs:35:20
Dec 02 12:40:11.757 INFO [stderr]    |
Dec 02 12:40:11.757 INFO [stderr] 35 |     (Pred) IntPred(Int): Int {
Dec 02 12:40:11.758 INFO [stderr]    |                    ^^^
Dec 02 12:40:11.758 INFO [stderr]    |
Dec 02 12:40:11.758 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.758 INFO [stderr] 
Dec 02 12:40:11.758 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.758 INFO [stderr]   --> src/strong/balanced.rs:49:24
Dec 02 12:40:11.758 INFO [stderr]    |
Dec 02 12:40:11.758 INFO [stderr] 49 |     (Triple) IntTriple(Int): Int {
Dec 02 12:40:11.758 INFO [stderr]    |                        ^^^
Dec 02 12:40:11.759 INFO [stderr]    |
Dec 02 12:40:11.759 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.759 INFO [stderr] 
Dec 02 12:40:11.759 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.759 INFO [stderr]   --> src/strong/balanced.rs:62:24
Dec 02 12:40:11.759 INFO [stderr]    |
Dec 02 12:40:11.759 INFO [stderr] 62 |     (IntUnique) Unique(Int): Int {
Dec 02 12:40:11.759 INFO [stderr]    |                        ^^^
Dec 02 12:40:11.759 INFO [stderr]    |
Dec 02 12:40:11.759 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.759 INFO [stderr] 
Dec 02 12:40:11.760 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.760 INFO [stderr]   --> src/strong/balanced.rs:80:18
Dec 02 12:40:11.760 INFO [stderr]    |
Dec 02 12:40:11.760 INFO [stderr] 80 |     (Neg) IntNeg(Int): Int {
Dec 02 12:40:11.760 INFO [stderr]    |                  ^^^
Dec 02 12:40:11.760 INFO [stderr]    |
Dec 02 12:40:11.760 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.760 INFO [stderr] 
Dec 02 12:40:11.760 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.760 INFO [stderr]   --> src/strong/balanced.rs:94:18
Dec 02 12:40:11.760 INFO [stderr]    |
Dec 02 12:40:11.760 INFO [stderr] 94 |     (Add) IntAdd(Int, Int): Int {
Dec 02 12:40:11.760 INFO [stderr]    |                  ^^^
Dec 02 12:40:11.761 INFO [stderr]    |
Dec 02 12:40:11.761 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.761 INFO [stderr] 
Dec 02 12:40:11.761 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.761 INFO [stderr]   --> src/strong/balanced.rs:94:23
Dec 02 12:40:11.761 INFO [stderr]    |
Dec 02 12:40:11.761 INFO [stderr] 94 |     (Add) IntAdd(Int, Int): Int {
Dec 02 12:40:11.761 INFO [stderr]    |                       ^^^
Dec 02 12:40:11.761 INFO [stderr]    |
Dec 02 12:40:11.761 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.761 INFO [stderr] 
Dec 02 12:40:11.762 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.762 INFO [stderr]    --> src/strong/balanced.rs:127:18
Dec 02 12:40:11.762 INFO [stderr]     |
Dec 02 12:40:11.762 INFO [stderr] 127 |     (Sub) IntSub(Int, Int): Int {
Dec 02 12:40:11.762 INFO [stderr]     |                  ^^^
Dec 02 12:40:11.762 INFO [stderr]     |
Dec 02 12:40:11.762 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.762 INFO [stderr] 
Dec 02 12:40:11.762 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.762 INFO [stderr]    --> src/strong/balanced.rs:127:23
Dec 02 12:40:11.762 INFO [stderr]     |
Dec 02 12:40:11.763 INFO [stderr] 127 |     (Sub) IntSub(Int, Int): Int {
Dec 02 12:40:11.763 INFO [stderr]     |                       ^^^
Dec 02 12:40:11.763 INFO [stderr]     |
Dec 02 12:40:11.763 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.763 INFO [stderr] 
Dec 02 12:40:11.763 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.763 INFO [stderr]    --> src/strong/balanced.rs:160:18
Dec 02 12:40:11.763 INFO [stderr]     |
Dec 02 12:40:11.763 INFO [stderr] 160 |     (Mul) IntMul(Int, Int): Int {
Dec 02 12:40:11.763 INFO [stderr]     |                  ^^^
Dec 02 12:40:11.764 INFO [stderr]     |
Dec 02 12:40:11.764 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.764 INFO [stderr] 
Dec 02 12:40:11.764 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.764 INFO [stderr]    --> src/strong/balanced.rs:160:23
Dec 02 12:40:11.764 INFO [stderr]     |
Dec 02 12:40:11.764 INFO [stderr] 160 |     (Mul) IntMul(Int, Int): Int {
Dec 02 12:40:11.764 INFO [stderr]     |                       ^^^
Dec 02 12:40:11.764 INFO [stderr]     |
Dec 02 12:40:11.764 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.764 INFO [stderr] 
Dec 02 12:40:11.765 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.765 INFO [stderr]    --> src/strong/balanced.rs:196:18
Dec 02 12:40:11.765 INFO [stderr]     |
Dec 02 12:40:11.765 INFO [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Dec 02 12:40:11.765 INFO [stderr]     |                  ^^^
Dec 02 12:40:11.765 INFO [stderr]     |
Dec 02 12:40:11.765 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.765 INFO [stderr] 
Dec 02 12:40:11.765 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.765 INFO [stderr]    --> src/strong/balanced.rs:196:23
Dec 02 12:40:11.765 INFO [stderr]     |
Dec 02 12:40:11.765 INFO [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Dec 02 12:40:11.766 INFO [stderr]     |                       ^^^
Dec 02 12:40:11.766 INFO [stderr]     |
Dec 02 12:40:11.766 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.766 INFO [stderr] 
Dec 02 12:40:11.766 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.766 INFO [stderr]    --> src/strong/balanced.rs:196:28
Dec 02 12:40:11.766 INFO [stderr]     |
Dec 02 12:40:11.766 INFO [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Dec 02 12:40:11.766 INFO [stderr]     |                            ^^^
Dec 02 12:40:11.766 INFO [stderr]     |
Dec 02 12:40:11.766 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.767 INFO [stderr] 
Dec 02 12:40:11.767 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.767 INFO [stderr]    --> src/strong/balanced.rs:196:33
Dec 02 12:40:11.767 INFO [stderr]     |
Dec 02 12:40:11.767 INFO [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Dec 02 12:40:11.767 INFO [stderr]     |                                 ^^^
Dec 02 12:40:11.767 INFO [stderr]     |
Dec 02 12:40:11.767 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.767 INFO [stderr] 
Dec 02 12:40:11.767 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.767 INFO [stderr]    --> src/strong/balanced.rs:196:38
Dec 02 12:40:11.767 INFO [stderr]     |
Dec 02 12:40:11.767 INFO [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Dec 02 12:40:11.767 INFO [stderr]     |                                      ^^^
Dec 02 12:40:11.768 INFO [stderr]     |
Dec 02 12:40:11.768 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.768 INFO [stderr] 
Dec 02 12:40:11.768 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.768 INFO [stderr]    --> src/strong/balanced.rs:223:20
Dec 02 12:40:11.768 INFO [stderr]     |
Dec 02 12:40:11.768 INFO [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Dec 02 12:40:11.768 INFO [stderr]     |                    ^^^
Dec 02 12:40:11.768 INFO [stderr]     |
Dec 02 12:40:11.768 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.769 INFO [stderr] 
Dec 02 12:40:11.771 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.771 INFO [stderr]    --> src/strong/balanced.rs:223:25
Dec 02 12:40:11.771 INFO [stderr]     |
Dec 02 12:40:11.771 INFO [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Dec 02 12:40:11.771 INFO [stderr]     |                         ^^^
Dec 02 12:40:11.771 INFO [stderr]     |
Dec 02 12:40:11.771 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.771 INFO [stderr] 
Dec 02 12:40:11.771 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.771 INFO [stderr]    --> src/strong/balanced.rs:223:30
Dec 02 12:40:11.771 INFO [stderr]     |
Dec 02 12:40:11.771 INFO [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Dec 02 12:40:11.771 INFO [stderr]     |                              ^^^^^^^
Dec 02 12:40:11.771 INFO [stderr]     |
Dec 02 12:40:11.771 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.771 INFO [stderr] 
Dec 02 12:40:11.771 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.771 INFO [stderr]    --> src/strong/balanced.rs:223:39
Dec 02 12:40:11.771 INFO [stderr]     |
Dec 02 12:40:11.771 INFO [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Dec 02 12:40:11.771 INFO [stderr]     |                                       ^^^^^^^
Dec 02 12:40:11.771 INFO [stderr]     |
Dec 02 12:40:11.771 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.771 INFO [stderr] 
Dec 02 12:40:11.771 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.771 INFO [stderr]    --> src/strong/balanced.rs:223:48
Dec 02 12:40:11.771 INFO [stderr]     |
Dec 02 12:40:11.771 INFO [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Dec 02 12:40:11.771 INFO [stderr]     |                                                ^^^^^^^
Dec 02 12:40:11.771 INFO [stderr]     |
Dec 02 12:40:11.771 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.771 INFO [stderr] 
Dec 02 12:40:11.771 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.771 INFO [stderr]    --> src/strong/balanced.rs:248:24
Dec 02 12:40:11.771 INFO [stderr]     |
Dec 02 12:40:11.771 INFO [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Dec 02 12:40:11.771 INFO [stderr]     |                        ^^^
Dec 02 12:40:11.771 INFO [stderr]     |
Dec 02 12:40:11.771 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.771 INFO [stderr] 
Dec 02 12:40:11.771 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.771 INFO [stderr]    --> src/strong/balanced.rs:248:29
Dec 02 12:40:11.771 INFO [stderr]     |
Dec 02 12:40:11.771 INFO [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Dec 02 12:40:11.771 INFO [stderr]     |                             ^^^
Dec 02 12:40:11.771 INFO [stderr]     |
Dec 02 12:40:11.771 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.771 INFO [stderr] 
Dec 02 12:40:11.771 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.771 INFO [stderr]    --> src/strong/balanced.rs:248:34
Dec 02 12:40:11.771 INFO [stderr]     |
Dec 02 12:40:11.771 INFO [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Dec 02 12:40:11.771 INFO [stderr]     |                                  ^^^
Dec 02 12:40:11.771 INFO [stderr]     |
Dec 02 12:40:11.771 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.771 INFO [stderr] 
Dec 02 12:40:11.772 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.772 INFO [stderr]    --> src/strong/balanced.rs:248:39
Dec 02 12:40:11.772 INFO [stderr]     |
Dec 02 12:40:11.772 INFO [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Dec 02 12:40:11.772 INFO [stderr]     |                                       ^^^
Dec 02 12:40:11.772 INFO [stderr]     |
Dec 02 12:40:11.772 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.772 INFO [stderr] 
Dec 02 12:40:11.772 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.772 INFO [stderr]    --> src/strong/balanced.rs:254:26
Dec 02 12:40:11.773 INFO [stderr]     |
Dec 02 12:40:11.773 INFO [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Dec 02 12:40:11.773 INFO [stderr]     |                          ^^^
Dec 02 12:40:11.773 INFO [stderr]     |
Dec 02 12:40:11.773 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.773 INFO [stderr] 
Dec 02 12:40:11.773 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.773 INFO [stderr]    --> src/strong/balanced.rs:254:31
Dec 02 12:40:11.773 INFO [stderr]     |
Dec 02 12:40:11.773 INFO [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Dec 02 12:40:11.773 INFO [stderr]     |                               ^^^
Dec 02 12:40:11.773 INFO [stderr]     |
Dec 02 12:40:11.775 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.775 INFO [stderr] 
Dec 02 12:40:11.775 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.775 INFO [stderr]    --> src/strong/balanced.rs:254:36
Dec 02 12:40:11.775 INFO [stderr]     |
Dec 02 12:40:11.775 INFO [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Dec 02 12:40:11.775 INFO [stderr]     |                                    ^^^^^^^
Dec 02 12:40:11.775 INFO [stderr]     |
Dec 02 12:40:11.775 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.775 INFO [stderr] 
Dec 02 12:40:11.775 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.775 INFO [stderr]    --> src/strong/balanced.rs:254:45
Dec 02 12:40:11.775 INFO [stderr]     |
Dec 02 12:40:11.775 INFO [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Dec 02 12:40:11.775 INFO [stderr]     |                                             ^^^^^^^
Dec 02 12:40:11.775 INFO [stderr]     |
Dec 02 12:40:11.775 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.775 INFO [stderr] 
Dec 02 12:40:11.775 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.775 INFO [stderr]    --> src/strong/balanced.rs:261:18
Dec 02 12:40:11.775 INFO [stderr]     |
Dec 02 12:40:11.775 INFO [stderr] 261 |     (Abs) IntAbs(Int): Int {
Dec 02 12:40:11.775 INFO [stderr]     |                  ^^^
Dec 02 12:40:11.775 INFO [stderr]     |
Dec 02 12:40:11.775 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.775 INFO [stderr] 
Dec 02 12:40:11.775 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.775 INFO [stderr]    --> src/strong/balanced.rs:273:40
Dec 02 12:40:11.775 INFO [stderr]     |
Dec 02 12:40:11.775 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Dec 02 12:40:11.775 INFO [stderr]     |                                        ^^^
Dec 02 12:40:11.775 INFO [stderr]     |
Dec 02 12:40:11.775 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.775 INFO [stderr] 
Dec 02 12:40:11.775 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.776 INFO [stderr]    --> src/strong/balanced.rs:273:45
Dec 02 12:40:11.776 INFO [stderr]     |
Dec 02 12:40:11.776 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Dec 02 12:40:11.776 INFO [stderr]     |                                             ^^^
Dec 02 12:40:11.776 INFO [stderr]     |
Dec 02 12:40:11.776 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.776 INFO [stderr] 
Dec 02 12:40:11.776 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.776 INFO [stderr]    --> src/strong/balanced.rs:273:50
Dec 02 12:40:11.776 INFO [stderr]     |
Dec 02 12:40:11.776 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Dec 02 12:40:11.776 INFO [stderr]     |                                                  ^^^
Dec 02 12:40:11.777 INFO [stderr]     |
Dec 02 12:40:11.777 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.777 INFO [stderr] 
Dec 02 12:40:11.777 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.777 INFO [stderr]    --> src/strong/balanced.rs:273:55
Dec 02 12:40:11.777 INFO [stderr]     |
Dec 02 12:40:11.777 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Dec 02 12:40:11.777 INFO [stderr]     |                                                       ^^^
Dec 02 12:40:11.777 INFO [stderr]     |
Dec 02 12:40:11.777 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.777 INFO [stderr] 
Dec 02 12:40:11.778 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.778 INFO [stderr]    --> src/strong/balanced.rs:273:60
Dec 02 12:40:11.778 INFO [stderr]     |
Dec 02 12:40:11.778 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Dec 02 12:40:11.778 INFO [stderr]     |                                                            ^^^
Dec 02 12:40:11.778 INFO [stderr]     |
Dec 02 12:40:11.783 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.783 INFO [stderr] 
Dec 02 12:40:11.783 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.783 INFO [stderr]    --> src/strong/balanced.rs:273:65
Dec 02 12:40:11.783 INFO [stderr]     |
Dec 02 12:40:11.783 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Dec 02 12:40:11.783 INFO [stderr]     |                                                                 ^^^
Dec 02 12:40:11.783 INFO [stderr]     |
Dec 02 12:40:11.783 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.783 INFO [stderr] 
Dec 02 12:40:11.783 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.783 INFO [stderr]    --> src/strong/balanced.rs:284:18
Dec 02 12:40:11.783 INFO [stderr]     |
Dec 02 12:40:11.783 INFO [stderr] 284 |     (Rev) IntRev(Int): Int {
Dec 02 12:40:11.783 INFO [stderr]     |                  ^^^
Dec 02 12:40:11.783 INFO [stderr]     |
Dec 02 12:40:11.783 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.783 INFO [stderr] 
Dec 02 12:40:11.783 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.783 INFO [stderr]    --> src/strong/balanced.rs:290:34
Dec 02 12:40:11.783 INFO [stderr]     |
Dec 02 12:40:11.783 INFO [stderr] 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Dec 02 12:40:11.783 INFO [stderr]     |                                  ^^^
Dec 02 12:40:11.783 INFO [stderr]     |
Dec 02 12:40:11.783 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.783 INFO [stderr] 
Dec 02 12:40:11.783 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.783 INFO [stderr]    --> src/strong/balanced.rs:290:39
Dec 02 12:40:11.783 INFO [stderr]     |
Dec 02 12:40:11.783 INFO [stderr] 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Dec 02 12:40:11.783 INFO [stderr]     |                                       ^^^
Dec 02 12:40:11.783 INFO [stderr]     |
Dec 02 12:40:11.783 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.783 INFO [stderr] 
Dec 02 12:40:11.783 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.783 INFO [stderr]    --> src/strong/balanced.rs:302:18
Dec 02 12:40:11.783 INFO [stderr]     |
Dec 02 12:40:11.783 INFO [stderr] 302 |     (Div) IntDiv(Int, Int): Int {
Dec 02 12:40:11.783 INFO [stderr]     |                  ^^^
Dec 02 12:40:11.783 INFO [stderr]     |
Dec 02 12:40:11.783 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.783 INFO [stderr] 
Dec 02 12:40:11.783 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.783 INFO [stderr]    --> src/strong/balanced.rs:302:23
Dec 02 12:40:11.783 INFO [stderr]     |
Dec 02 12:40:11.783 INFO [stderr] 302 |     (Div) IntDiv(Int, Int): Int {
Dec 02 12:40:11.783 INFO [stderr]     |                       ^^^
Dec 02 12:40:11.783 INFO [stderr]     |
Dec 02 12:40:11.783 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.783 INFO [stderr] 
Dec 02 12:40:11.783 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.783 INFO [stderr]    --> src/strong/balanced.rs:326:18
Dec 02 12:40:11.783 INFO [stderr]     |
Dec 02 12:40:11.783 INFO [stderr] 326 |     (Rem) IntRem(Int, Int): Int {
Dec 02 12:40:11.783 INFO [stderr]     |                  ^^^
Dec 02 12:40:11.783 INFO [stderr]     |
Dec 02 12:40:11.783 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.783 INFO [stderr] 
Dec 02 12:40:11.783 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.783 INFO [stderr]    --> src/strong/balanced.rs:326:23
Dec 02 12:40:11.783 INFO [stderr]     |
Dec 02 12:40:11.783 INFO [stderr] 326 |     (Rem) IntRem(Int, Int): Int {
Dec 02 12:40:11.783 INFO [stderr]     |                       ^^^
Dec 02 12:40:11.783 INFO [stderr]     |
Dec 02 12:40:11.783 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.783 INFO [stderr] 
Dec 02 12:40:11.783 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.783 INFO [stderr]    --> src/strong/balanced.rs:349:34
Dec 02 12:40:11.783 INFO [stderr]     |
Dec 02 12:40:11.783 INFO [stderr] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Dec 02 12:40:11.783 INFO [stderr]     |                                  ^^^
Dec 02 12:40:11.783 INFO [stderr]     |
Dec 02 12:40:11.783 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.784 INFO [stderr] 
Dec 02 12:40:11.784 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.784 INFO [stderr]    --> src/strong/balanced.rs:349:39
Dec 02 12:40:11.784 INFO [stderr]     |
Dec 02 12:40:11.784 INFO [stderr] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Dec 02 12:40:11.784 INFO [stderr]     |                                       ^^^
Dec 02 12:40:11.784 INFO [stderr]     |
Dec 02 12:40:11.784 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.784 INFO [stderr] 
Dec 02 12:40:11.784 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:11.784 INFO [stderr]    --> src/strong/balanced.rs:349:44
Dec 02 12:40:11.784 INFO [stderr]     |
Dec 02 12:40:11.784 INFO [stderr] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Dec 02 12:40:11.784 INFO [stderr]     |                                            ^^^^^^^
Dec 02 12:40:11.784 INFO [stderr]     |
Dec 02 12:40:11.784 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:11.784 INFO [stderr] 
Dec 02 12:40:11.950 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 2.57s
Dec 02 12:40:11.959 INFO [stderr] su: No module specific data is present
Dec 02 12:40:13.143 INFO running `"docker" "inspect" "5c78131ac31ee7f7e38d48c048a0657d55ce5f079c10683e6781894d0b8af1e6"`
Dec 02 12:40:13.447 INFO running `"docker" "rm" "-f" "5c78131ac31ee7f7e38d48c048a0657d55ce5f079c10683e6781894d0b8af1e6"`
Dec 02 12:40:13.751 INFO [stdout] 5c78131ac31ee7f7e38d48c048a0657d55ce5f079c10683e6781894d0b8af1e6
Dec 02 12:40:13.757 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-1/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 02 12:40:14.051 INFO [stdout] f2a3f70e582699fcefbcb7b839825ff6648a7a427919a0ec7b8d8a6060e400cb
Dec 02 12:40:14.057 INFO running `"docker" "start" "-a" "f2a3f70e582699fcefbcb7b839825ff6648a7a427919a0ec7b8d8a6060e400cb"`
Dec 02 12:40:15.167 INFO [stderr] usermod: no changes
Dec 02 12:40:15.252 INFO [stderr]    Compiling type-level-logic v0.1.0 (/source)
Dec 02 12:40:18.561 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.561 INFO [stderr]  --> src/strong/boolean.rs:9:19
Dec 02 12:40:18.561 INFO [stderr]   |
Dec 02 12:40:18.561 INFO [stderr] 9 |     (And) BoolAnd(Bool, Bool): Bool {
Dec 02 12:40:18.561 INFO [stderr]   |                   ^^^^
Dec 02 12:40:18.561 INFO [stderr]   |
Dec 02 12:40:18.561 INFO [stderr]   = note: #[warn(type_alias_bounds)] on by default
Dec 02 12:40:18.561 INFO [stderr]   = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.561 INFO [stderr] 
Dec 02 12:40:18.561 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.561 INFO [stderr]  --> src/strong/boolean.rs:9:25
Dec 02 12:40:18.561 INFO [stderr]   |
Dec 02 12:40:18.561 INFO [stderr] 9 |     (And) BoolAnd(Bool, Bool): Bool {
Dec 02 12:40:18.561 INFO [stderr]   |                         ^^^^
Dec 02 12:40:18.561 INFO [stderr]   |
Dec 02 12:40:18.561 INFO [stderr]   = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.561 INFO [stderr] 
Dec 02 12:40:18.561 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.561 INFO [stderr]   --> src/strong/boolean.rs:17:17
Dec 02 12:40:18.561 INFO [stderr]    |
Dec 02 12:40:18.561 INFO [stderr] 17 |     (Or) BoolOr(Bool, Bool): Bool {
Dec 02 12:40:18.561 INFO [stderr]    |                 ^^^^
Dec 02 12:40:18.561 INFO [stderr]    |
Dec 02 12:40:18.561 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.561 INFO [stderr] 
Dec 02 12:40:18.561 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.561 INFO [stderr]   --> src/strong/boolean.rs:17:23
Dec 02 12:40:18.561 INFO [stderr]    |
Dec 02 12:40:18.561 INFO [stderr] 17 |     (Or) BoolOr(Bool, Bool): Bool {
Dec 02 12:40:18.561 INFO [stderr]    |                       ^^^^
Dec 02 12:40:18.561 INFO [stderr]    |
Dec 02 12:40:18.561 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.561 INFO [stderr] 
Dec 02 12:40:18.561 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.561 INFO [stderr]   --> src/strong/boolean.rs:26:25
Dec 02 12:40:18.561 INFO [stderr]    |
Dec 02 12:40:18.561 INFO [stderr] 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Dec 02 12:40:18.561 INFO [stderr]    |                         ^^^^
Dec 02 12:40:18.561 INFO [stderr]    |
Dec 02 12:40:18.561 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.561 INFO [stderr] 
Dec 02 12:40:18.561 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.561 INFO [stderr]   --> src/strong/boolean.rs:26:31
Dec 02 12:40:18.561 INFO [stderr]    |
Dec 02 12:40:18.561 INFO [stderr] 26 |     (IfThen) BoolIfThen(Bool, Bool): Bool {
Dec 02 12:40:18.561 INFO [stderr]    |                               ^^^^
Dec 02 12:40:18.561 INFO [stderr]    |
Dec 02 12:40:18.561 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.561 INFO [stderr] 
Dec 02 12:40:18.577 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.577 INFO [stderr]   --> src/strong/boolean.rs:35:25
Dec 02 12:40:18.577 INFO [stderr]    |
Dec 02 12:40:18.577 INFO [stderr] 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Dec 02 12:40:18.577 INFO [stderr]    |                         ^^^^
Dec 02 12:40:18.577 INFO [stderr]    |
Dec 02 12:40:18.577 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.577 INFO [stderr] 
Dec 02 12:40:18.577 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.577 INFO [stderr]   --> src/strong/boolean.rs:35:31
Dec 02 12:40:18.577 INFO [stderr]    |
Dec 02 12:40:18.577 INFO [stderr] 35 |     (OnlyIf) BoolOnlyIf(Bool, Bool): Bool {
Dec 02 12:40:18.577 INFO [stderr]    |                               ^^^^
Dec 02 12:40:18.577 INFO [stderr]    |
Dec 02 12:40:18.577 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.577 INFO [stderr] 
Dec 02 12:40:18.577 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.577 INFO [stderr]   --> src/strong/boolean.rs:43:19
Dec 02 12:40:18.577 INFO [stderr]    |
Dec 02 12:40:18.577 INFO [stderr] 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Dec 02 12:40:18.577 INFO [stderr]    |                   ^^^^
Dec 02 12:40:18.577 INFO [stderr]    |
Dec 02 12:40:18.577 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.577 INFO [stderr] 
Dec 02 12:40:18.577 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.577 INFO [stderr]   --> src/strong/boolean.rs:43:25
Dec 02 12:40:18.577 INFO [stderr]    |
Dec 02 12:40:18.577 INFO [stderr] 43 |     (Xor) BoolXor(Bool, Bool): Bool {
Dec 02 12:40:18.577 INFO [stderr]    |                         ^^^^
Dec 02 12:40:18.577 INFO [stderr]    |
Dec 02 12:40:18.577 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.577 INFO [stderr] 
Dec 02 12:40:18.577 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.577 INFO [stderr]   --> src/strong/ternary.rs:14:24
Dec 02 12:40:18.577 INFO [stderr]    |
Dec 02 12:40:18.577 INFO [stderr] 14 |     (Nat2First) Nat2P1(NatPair): Nat {
Dec 02 12:40:18.577 INFO [stderr]    |                        ^^^^^^^
Dec 02 12:40:18.577 INFO [stderr]    |
Dec 02 12:40:18.577 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.577 INFO [stderr] 
Dec 02 12:40:18.577 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.577 INFO [stderr]   --> src/strong/ternary.rs:21:25
Dec 02 12:40:18.577 INFO [stderr]    |
Dec 02 12:40:18.577 INFO [stderr] 21 |     (Nat2Second) Nat2P2(NatPair): Nat {
Dec 02 12:40:18.577 INFO [stderr]    |                         ^^^^^^^
Dec 02 12:40:18.577 INFO [stderr]    |
Dec 02 12:40:18.577 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.577 INFO [stderr] 
Dec 02 12:40:18.577 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.577 INFO [stderr]   --> src/strong/ternary.rs:29:20
Dec 02 12:40:18.577 INFO [stderr]    |
Dec 02 12:40:18.577 INFO [stderr] 29 |     (Succ) NatSucc(Nat): Nat {
Dec 02 12:40:18.577 INFO [stderr]    |                    ^^^
Dec 02 12:40:18.577 INFO [stderr]    |
Dec 02 12:40:18.577 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.577 INFO [stderr] 
Dec 02 12:40:18.578 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.578 INFO [stderr]   --> src/strong/ternary.rs:41:20
Dec 02 12:40:18.578 INFO [stderr]    |
Dec 02 12:40:18.578 INFO [stderr] 41 |     (Pred) NatPred(Nat): Nat {
Dec 02 12:40:18.578 INFO [stderr]    |                    ^^^
Dec 02 12:40:18.578 INFO [stderr]    |
Dec 02 12:40:18.578 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.578 INFO [stderr] 
Dec 02 12:40:18.578 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.578 INFO [stderr]   --> src/strong/ternary.rs:53:32
Dec 02 12:40:18.578 INFO [stderr]    |
Dec 02 12:40:18.578 INFO [stderr] 53 |     (DoublePred) NatDoublePred(Nat): Nat {
Dec 02 12:40:18.578 INFO [stderr]    |                                ^^^
Dec 02 12:40:18.578 INFO [stderr]    |
Dec 02 12:40:18.578 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.578 INFO [stderr] 
Dec 02 12:40:18.578 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.578 INFO [stderr]   --> src/strong/ternary.rs:68:24
Dec 02 12:40:18.578 INFO [stderr]    |
Dec 02 12:40:18.578 INFO [stderr] 68 |     (Triple) NatTriple(Nat): Nat {
Dec 02 12:40:18.578 INFO [stderr]    |                        ^^^
Dec 02 12:40:18.578 INFO [stderr]    |
Dec 02 12:40:18.578 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.578 INFO [stderr] 
Dec 02 12:40:18.578 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.578 INFO [stderr]   --> src/strong/ternary.rs:81:24
Dec 02 12:40:18.578 INFO [stderr]    |
Dec 02 12:40:18.578 INFO [stderr] 81 |     (Unique) NatUnique(Nat): Nat {
Dec 02 12:40:18.578 INFO [stderr]    |                        ^^^
Dec 02 12:40:18.578 INFO [stderr]    |
Dec 02 12:40:18.578 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.578 INFO [stderr] 
Dec 02 12:40:18.578 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.578 INFO [stderr]   --> src/strong/ternary.rs:95:18
Dec 02 12:40:18.578 INFO [stderr]    |
Dec 02 12:40:18.578 INFO [stderr] 95 |     (Add) NatAdd(Nat, Nat): Nat {
Dec 02 12:40:18.578 INFO [stderr]    |                  ^^^
Dec 02 12:40:18.578 INFO [stderr]    |
Dec 02 12:40:18.578 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.578 INFO [stderr] 
Dec 02 12:40:18.578 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.578 INFO [stderr]   --> src/strong/ternary.rs:95:23
Dec 02 12:40:18.578 INFO [stderr]    |
Dec 02 12:40:18.578 INFO [stderr] 95 |     (Add) NatAdd(Nat, Nat): Nat {
Dec 02 12:40:18.578 INFO [stderr]    |                       ^^^
Dec 02 12:40:18.578 INFO [stderr]    |
Dec 02 12:40:18.578 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.578 INFO [stderr] 
Dec 02 12:40:18.578 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.578 INFO [stderr]    --> src/strong/ternary.rs:128:38
Dec 02 12:40:18.578 INFO [stderr]     |
Dec 02 12:40:18.578 INFO [stderr] 128 |     (TriplePlusOne) NatTriplePlusOne(Nat): Nat {
Dec 02 12:40:18.578 INFO [stderr]     |                                      ^^^
Dec 02 12:40:18.578 INFO [stderr]     |
Dec 02 12:40:18.578 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.578 INFO [stderr] 
Dec 02 12:40:18.578 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.578 INFO [stderr]    --> src/strong/ternary.rs:139:38
Dec 02 12:40:18.578 INFO [stderr]     |
Dec 02 12:40:18.578 INFO [stderr] 139 |     (TriplePlusTwo) NatTriplePlusTwo(Nat): Nat {
Dec 02 12:40:18.578 INFO [stderr]     |                                      ^^^
Dec 02 12:40:18.578 INFO [stderr]     |
Dec 02 12:40:18.578 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.578 INFO [stderr] 
Dec 02 12:40:18.578 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.578 INFO [stderr]    --> src/strong/ternary.rs:152:18
Dec 02 12:40:18.578 INFO [stderr]     |
Dec 02 12:40:18.578 INFO [stderr] 152 |     (Sub) NatSub(Nat, Nat): Nat {
Dec 02 12:40:18.578 INFO [stderr]     |                  ^^^
Dec 02 12:40:18.578 INFO [stderr]     |
Dec 02 12:40:18.578 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.578 INFO [stderr] 
Dec 02 12:40:18.578 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.578 INFO [stderr]    --> src/strong/ternary.rs:152:23
Dec 02 12:40:18.578 INFO [stderr]     |
Dec 02 12:40:18.578 INFO [stderr] 152 |     (Sub) NatSub(Nat, Nat): Nat {
Dec 02 12:40:18.578 INFO [stderr]     |                       ^^^
Dec 02 12:40:18.578 INFO [stderr]     |
Dec 02 12:40:18.578 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.578 INFO [stderr] 
Dec 02 12:40:18.578 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.578 INFO [stderr]    --> src/strong/ternary.rs:185:18
Dec 02 12:40:18.578 INFO [stderr]     |
Dec 02 12:40:18.578 INFO [stderr] 185 |     (Mul) NatMul(Nat, Nat): Nat {
Dec 02 12:40:18.578 INFO [stderr]     |                  ^^^
Dec 02 12:40:18.578 INFO [stderr]     |
Dec 02 12:40:18.578 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.578 INFO [stderr] 
Dec 02 12:40:18.578 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.578 INFO [stderr]    --> src/strong/ternary.rs:185:23
Dec 02 12:40:18.578 INFO [stderr]     |
Dec 02 12:40:18.578 INFO [stderr] 185 |     (Mul) NatMul(Nat, Nat): Nat {
Dec 02 12:40:18.579 INFO [stderr]     |                       ^^^
Dec 02 12:40:18.579 INFO [stderr]     |
Dec 02 12:40:18.579 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.579 INFO [stderr] 
Dec 02 12:40:18.579 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.579 INFO [stderr]    --> src/strong/ternary.rs:220:18
Dec 02 12:40:18.579 INFO [stderr]     |
Dec 02 12:40:18.579 INFO [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Dec 02 12:40:18.579 INFO [stderr]     |                  ^^^
Dec 02 12:40:18.579 INFO [stderr]     |
Dec 02 12:40:18.579 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.579 INFO [stderr] 
Dec 02 12:40:18.579 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.579 INFO [stderr]    --> src/strong/ternary.rs:220:23
Dec 02 12:40:18.579 INFO [stderr]     |
Dec 02 12:40:18.579 INFO [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Dec 02 12:40:18.579 INFO [stderr]     |                       ^^^
Dec 02 12:40:18.579 INFO [stderr]     |
Dec 02 12:40:18.579 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.579 INFO [stderr] 
Dec 02 12:40:18.579 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.579 INFO [stderr]    --> src/strong/ternary.rs:220:28
Dec 02 12:40:18.579 INFO [stderr]     |
Dec 02 12:40:18.579 INFO [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Dec 02 12:40:18.579 INFO [stderr]     |                            ^^^
Dec 02 12:40:18.579 INFO [stderr]     |
Dec 02 12:40:18.579 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.579 INFO [stderr] 
Dec 02 12:40:18.579 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.579 INFO [stderr]    --> src/strong/ternary.rs:220:33
Dec 02 12:40:18.579 INFO [stderr]     |
Dec 02 12:40:18.579 INFO [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Dec 02 12:40:18.579 INFO [stderr]     |                                 ^^^
Dec 02 12:40:18.579 INFO [stderr]     |
Dec 02 12:40:18.579 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.579 INFO [stderr] 
Dec 02 12:40:18.579 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.579 INFO [stderr]    --> src/strong/ternary.rs:220:38
Dec 02 12:40:18.579 INFO [stderr]     |
Dec 02 12:40:18.579 INFO [stderr] 220 |     (Cmp) NatCmp(Nat, Nat, Nat, Nat, Nat): Nat {
Dec 02 12:40:18.579 INFO [stderr]     |                                      ^^^
Dec 02 12:40:18.579 INFO [stderr]     |
Dec 02 12:40:18.579 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.579 INFO [stderr] 
Dec 02 12:40:18.579 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.579 INFO [stderr]    --> src/strong/ternary.rs:247:28
Dec 02 12:40:18.579 INFO [stderr]     |
Dec 02 12:40:18.579 INFO [stderr] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Dec 02 12:40:18.579 INFO [stderr]     |                            ^^^
Dec 02 12:40:18.579 INFO [stderr]     |
Dec 02 12:40:18.579 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.579 INFO [stderr] 
Dec 02 12:40:18.579 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.579 INFO [stderr]    --> src/strong/ternary.rs:247:33
Dec 02 12:40:18.579 INFO [stderr]     |
Dec 02 12:40:18.579 INFO [stderr] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Dec 02 12:40:18.579 INFO [stderr]     |                                 ^^^
Dec 02 12:40:18.579 INFO [stderr]     |
Dec 02 12:40:18.579 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.579 INFO [stderr] 
Dec 02 12:40:18.579 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.579 INFO [stderr]    --> src/strong/ternary.rs:247:38
Dec 02 12:40:18.579 INFO [stderr]     |
Dec 02 12:40:18.579 INFO [stderr] 247 |     (UndefOr2) NatUndefOr2(Nat, Nat, NatPair): NatPair {
Dec 02 12:40:18.579 INFO [stderr]     |                                      ^^^^^^^
Dec 02 12:40:18.579 INFO [stderr]     |
Dec 02 12:40:18.579 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.579 INFO [stderr] 
Dec 02 12:40:18.579 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.579 INFO [stderr]    --> src/strong/ternary.rs:262:18
Dec 02 12:40:18.579 INFO [stderr]     |
Dec 02 12:40:18.579 INFO [stderr] 262 |     (Rev) NatRev(Nat): Nat {
Dec 02 12:40:18.579 INFO [stderr]     |                  ^^^
Dec 02 12:40:18.579 INFO [stderr]     |
Dec 02 12:40:18.579 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.579 INFO [stderr] 
Dec 02 12:40:18.579 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.579 INFO [stderr]    --> src/strong/ternary.rs:268:34
Dec 02 12:40:18.579 INFO [stderr]     |
Dec 02 12:40:18.579 INFO [stderr] 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Dec 02 12:40:18.579 INFO [stderr]     |                                  ^^^
Dec 02 12:40:18.579 INFO [stderr]     |
Dec 02 12:40:18.579 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.579 INFO [stderr] 
Dec 02 12:40:18.579 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.579 INFO [stderr]    --> src/strong/ternary.rs:268:39
Dec 02 12:40:18.579 INFO [stderr]     |
Dec 02 12:40:18.579 INFO [stderr] 268 |     (RevInternal) NatRevInternal(Nat, Nat): Nat {
Dec 02 12:40:18.579 INFO [stderr]     |                                       ^^^
Dec 02 12:40:18.580 INFO [stderr]     |
Dec 02 12:40:18.580 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.580 INFO [stderr] 
Dec 02 12:40:18.580 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.580 INFO [stderr]    --> src/strong/ternary.rs:281:18
Dec 02 12:40:18.580 INFO [stderr]     |
Dec 02 12:40:18.580 INFO [stderr] 281 |     (Div) NatDiv(Nat, Nat): Nat {
Dec 02 12:40:18.580 INFO [stderr]     |                  ^^^
Dec 02 12:40:18.580 INFO [stderr]     |
Dec 02 12:40:18.580 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.580 INFO [stderr] 
Dec 02 12:40:18.580 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.580 INFO [stderr]    --> src/strong/ternary.rs:281:23
Dec 02 12:40:18.580 INFO [stderr]     |
Dec 02 12:40:18.580 INFO [stderr] 281 |     (Div) NatDiv(Nat, Nat): Nat {
Dec 02 12:40:18.580 INFO [stderr]     |                       ^^^
Dec 02 12:40:18.580 INFO [stderr]     |
Dec 02 12:40:18.580 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.580 INFO [stderr] 
Dec 02 12:40:18.580 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.580 INFO [stderr]    --> src/strong/ternary.rs:306:18
Dec 02 12:40:18.580 INFO [stderr]     |
Dec 02 12:40:18.580 INFO [stderr] 306 |     (Rem) NatRem(Nat, Nat): Nat {
Dec 02 12:40:18.580 INFO [stderr]     |                  ^^^
Dec 02 12:40:18.580 INFO [stderr]     |
Dec 02 12:40:18.580 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.580 INFO [stderr] 
Dec 02 12:40:18.580 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.580 INFO [stderr]    --> src/strong/ternary.rs:306:23
Dec 02 12:40:18.580 INFO [stderr]     |
Dec 02 12:40:18.580 INFO [stderr] 306 |     (Rem) NatRem(Nat, Nat): Nat {
Dec 02 12:40:18.580 INFO [stderr]     |                       ^^^
Dec 02 12:40:18.580 INFO [stderr]     |
Dec 02 12:40:18.580 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.580 INFO [stderr] 
Dec 02 12:40:18.580 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.580 INFO [stderr]    --> src/strong/ternary.rs:329:34
Dec 02 12:40:18.580 INFO [stderr]     |
Dec 02 12:40:18.580 INFO [stderr] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Dec 02 12:40:18.580 INFO [stderr]     |                                  ^^^
Dec 02 12:40:18.580 INFO [stderr]     |
Dec 02 12:40:18.580 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.580 INFO [stderr] 
Dec 02 12:40:18.580 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.580 INFO [stderr]    --> src/strong/ternary.rs:329:39
Dec 02 12:40:18.580 INFO [stderr]     |
Dec 02 12:40:18.580 INFO [stderr] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Dec 02 12:40:18.580 INFO [stderr]     |                                       ^^^
Dec 02 12:40:18.580 INFO [stderr]     |
Dec 02 12:40:18.580 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.580 INFO [stderr] 
Dec 02 12:40:18.580 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.580 INFO [stderr]    --> src/strong/ternary.rs:329:44
Dec 02 12:40:18.580 INFO [stderr]     |
Dec 02 12:40:18.580 INFO [stderr] 329 |     (DivInternal) NatDivInternal(Nat, Nat, NatPair): NatPair {
Dec 02 12:40:18.580 INFO [stderr]     |                                            ^^^^^^^
Dec 02 12:40:18.580 INFO [stderr]     |
Dec 02 12:40:18.580 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.580 INFO [stderr] 
Dec 02 12:40:18.580 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.580 INFO [stderr]   --> src/strong/balanced.rs:10:24
Dec 02 12:40:18.580 INFO [stderr]    |
Dec 02 12:40:18.580 INFO [stderr] 10 |     (Int2First) Int2P1(IntPair): Int {
Dec 02 12:40:18.580 INFO [stderr]    |                        ^^^^^^^
Dec 02 12:40:18.580 INFO [stderr]    |
Dec 02 12:40:18.580 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.580 INFO [stderr] 
Dec 02 12:40:18.580 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.580 INFO [stderr]   --> src/strong/balanced.rs:17:25
Dec 02 12:40:18.580 INFO [stderr]    |
Dec 02 12:40:18.580 INFO [stderr] 17 |     (Int2Second) Int2P2(IntPair): Int {
Dec 02 12:40:18.580 INFO [stderr]    |                         ^^^^^^^
Dec 02 12:40:18.580 INFO [stderr]    |
Dec 02 12:40:18.580 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.580 INFO [stderr] 
Dec 02 12:40:18.580 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.580 INFO [stderr]   --> src/strong/balanced.rs:24:20
Dec 02 12:40:18.580 INFO [stderr]    |
Dec 02 12:40:18.580 INFO [stderr] 24 |     (Succ) IntSucc(Int): Int {
Dec 02 12:40:18.580 INFO [stderr]    |                    ^^^
Dec 02 12:40:18.580 INFO [stderr]    |
Dec 02 12:40:18.580 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.580 INFO [stderr] 
Dec 02 12:40:18.580 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.580 INFO [stderr]   --> src/strong/balanced.rs:35:20
Dec 02 12:40:18.580 INFO [stderr]    |
Dec 02 12:40:18.580 INFO [stderr] 35 |     (Pred) IntPred(Int): Int {
Dec 02 12:40:18.580 INFO [stderr]    |                    ^^^
Dec 02 12:40:18.580 INFO [stderr]    |
Dec 02 12:40:18.580 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.580 INFO [stderr] 
Dec 02 12:40:18.581 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.581 INFO [stderr]   --> src/strong/balanced.rs:49:24
Dec 02 12:40:18.581 INFO [stderr]    |
Dec 02 12:40:18.581 INFO [stderr] 49 |     (Triple) IntTriple(Int): Int {
Dec 02 12:40:18.581 INFO [stderr]    |                        ^^^
Dec 02 12:40:18.581 INFO [stderr]    |
Dec 02 12:40:18.581 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.581 INFO [stderr] 
Dec 02 12:40:18.581 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.581 INFO [stderr]   --> src/strong/balanced.rs:62:24
Dec 02 12:40:18.581 INFO [stderr]    |
Dec 02 12:40:18.581 INFO [stderr] 62 |     (IntUnique) Unique(Int): Int {
Dec 02 12:40:18.581 INFO [stderr]    |                        ^^^
Dec 02 12:40:18.582 INFO [stderr]    |
Dec 02 12:40:18.583 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.583 INFO [stderr] 
Dec 02 12:40:18.583 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.583 INFO [stderr]   --> src/strong/balanced.rs:80:18
Dec 02 12:40:18.583 INFO [stderr]    |
Dec 02 12:40:18.583 INFO [stderr] 80 |     (Neg) IntNeg(Int): Int {
Dec 02 12:40:18.583 INFO [stderr]    |                  ^^^
Dec 02 12:40:18.583 INFO [stderr]    |
Dec 02 12:40:18.583 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.583 INFO [stderr] 
Dec 02 12:40:18.583 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.583 INFO [stderr]   --> src/strong/balanced.rs:94:18
Dec 02 12:40:18.583 INFO [stderr]    |
Dec 02 12:40:18.583 INFO [stderr] 94 |     (Add) IntAdd(Int, Int): Int {
Dec 02 12:40:18.583 INFO [stderr]    |                  ^^^
Dec 02 12:40:18.583 INFO [stderr]    |
Dec 02 12:40:18.583 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.583 INFO [stderr] 
Dec 02 12:40:18.583 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.583 INFO [stderr]   --> src/strong/balanced.rs:94:23
Dec 02 12:40:18.583 INFO [stderr]    |
Dec 02 12:40:18.583 INFO [stderr] 94 |     (Add) IntAdd(Int, Int): Int {
Dec 02 12:40:18.583 INFO [stderr]    |                       ^^^
Dec 02 12:40:18.583 INFO [stderr]    |
Dec 02 12:40:18.583 INFO [stderr]    = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.583 INFO [stderr] 
Dec 02 12:40:18.583 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.583 INFO [stderr]    --> src/strong/balanced.rs:127:18
Dec 02 12:40:18.583 INFO [stderr]     |
Dec 02 12:40:18.583 INFO [stderr] 127 |     (Sub) IntSub(Int, Int): Int {
Dec 02 12:40:18.583 INFO [stderr]     |                  ^^^
Dec 02 12:40:18.583 INFO [stderr]     |
Dec 02 12:40:18.583 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.583 INFO [stderr] 
Dec 02 12:40:18.583 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.583 INFO [stderr]    --> src/strong/balanced.rs:127:23
Dec 02 12:40:18.583 INFO [stderr]     |
Dec 02 12:40:18.583 INFO [stderr] 127 |     (Sub) IntSub(Int, Int): Int {
Dec 02 12:40:18.583 INFO [stderr]     |                       ^^^
Dec 02 12:40:18.583 INFO [stderr]     |
Dec 02 12:40:18.583 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.583 INFO [stderr] 
Dec 02 12:40:18.583 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.583 INFO [stderr]    --> src/strong/balanced.rs:160:18
Dec 02 12:40:18.583 INFO [stderr]     |
Dec 02 12:40:18.583 INFO [stderr] 160 |     (Mul) IntMul(Int, Int): Int {
Dec 02 12:40:18.583 INFO [stderr]     |                  ^^^
Dec 02 12:40:18.583 INFO [stderr]     |
Dec 02 12:40:18.583 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.583 INFO [stderr] 
Dec 02 12:40:18.583 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.583 INFO [stderr]    --> src/strong/balanced.rs:160:23
Dec 02 12:40:18.583 INFO [stderr]     |
Dec 02 12:40:18.583 INFO [stderr] 160 |     (Mul) IntMul(Int, Int): Int {
Dec 02 12:40:18.583 INFO [stderr]     |                       ^^^
Dec 02 12:40:18.583 INFO [stderr]     |
Dec 02 12:40:18.583 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.583 INFO [stderr] 
Dec 02 12:40:18.583 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.583 INFO [stderr]    --> src/strong/balanced.rs:196:18
Dec 02 12:40:18.583 INFO [stderr]     |
Dec 02 12:40:18.583 INFO [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Dec 02 12:40:18.583 INFO [stderr]     |                  ^^^
Dec 02 12:40:18.583 INFO [stderr]     |
Dec 02 12:40:18.583 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.583 INFO [stderr] 
Dec 02 12:40:18.583 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.583 INFO [stderr]    --> src/strong/balanced.rs:196:23
Dec 02 12:40:18.583 INFO [stderr]     |
Dec 02 12:40:18.583 INFO [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Dec 02 12:40:18.583 INFO [stderr]     |                       ^^^
Dec 02 12:40:18.583 INFO [stderr]     |
Dec 02 12:40:18.583 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.583 INFO [stderr] 
Dec 02 12:40:18.583 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.583 INFO [stderr]    --> src/strong/balanced.rs:196:28
Dec 02 12:40:18.583 INFO [stderr]     |
Dec 02 12:40:18.583 INFO [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Dec 02 12:40:18.583 INFO [stderr]     |                            ^^^
Dec 02 12:40:18.583 INFO [stderr]     |
Dec 02 12:40:18.583 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.583 INFO [stderr] 
Dec 02 12:40:18.583 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.583 INFO [stderr]    --> src/strong/balanced.rs:196:33
Dec 02 12:40:18.583 INFO [stderr]     |
Dec 02 12:40:18.583 INFO [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Dec 02 12:40:18.583 INFO [stderr]     |                                 ^^^
Dec 02 12:40:18.584 INFO [stderr]     |
Dec 02 12:40:18.584 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.584 INFO [stderr] 
Dec 02 12:40:18.584 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.584 INFO [stderr]    --> src/strong/balanced.rs:196:38
Dec 02 12:40:18.584 INFO [stderr]     |
Dec 02 12:40:18.584 INFO [stderr] 196 |     (Cmp) IntCmp(Int, Int, Int, Int, Int): Int {
Dec 02 12:40:18.584 INFO [stderr]     |                                      ^^^
Dec 02 12:40:18.584 INFO [stderr]     |
Dec 02 12:40:18.584 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.584 INFO [stderr] 
Dec 02 12:40:18.584 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.584 INFO [stderr]    --> src/strong/balanced.rs:223:20
Dec 02 12:40:18.584 INFO [stderr]     |
Dec 02 12:40:18.584 INFO [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Dec 02 12:40:18.584 INFO [stderr]     |                    ^^^
Dec 02 12:40:18.584 INFO [stderr]     |
Dec 02 12:40:18.584 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.584 INFO [stderr] 
Dec 02 12:40:18.584 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.584 INFO [stderr]    --> src/strong/balanced.rs:223:25
Dec 02 12:40:18.584 INFO [stderr]     |
Dec 02 12:40:18.584 INFO [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Dec 02 12:40:18.584 INFO [stderr]     |                         ^^^
Dec 02 12:40:18.584 INFO [stderr]     |
Dec 02 12:40:18.584 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.584 INFO [stderr] 
Dec 02 12:40:18.584 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.584 INFO [stderr]    --> src/strong/balanced.rs:223:30
Dec 02 12:40:18.584 INFO [stderr]     |
Dec 02 12:40:18.584 INFO [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Dec 02 12:40:18.584 INFO [stderr]     |                              ^^^^^^^
Dec 02 12:40:18.584 INFO [stderr]     |
Dec 02 12:40:18.584 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.584 INFO [stderr] 
Dec 02 12:40:18.584 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.584 INFO [stderr]    --> src/strong/balanced.rs:223:39
Dec 02 12:40:18.584 INFO [stderr]     |
Dec 02 12:40:18.584 INFO [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Dec 02 12:40:18.584 INFO [stderr]     |                                       ^^^^^^^
Dec 02 12:40:18.584 INFO [stderr]     |
Dec 02 12:40:18.584 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.584 INFO [stderr] 
Dec 02 12:40:18.584 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.584 INFO [stderr]    --> src/strong/balanced.rs:223:48
Dec 02 12:40:18.584 INFO [stderr]     |
Dec 02 12:40:18.584 INFO [stderr] 223 |     (Cmp2) IntCmp2(Int, Int, IntPair, IntPair, IntPair): IntPair {
Dec 02 12:40:18.584 INFO [stderr]     |                                                ^^^^^^^
Dec 02 12:40:18.584 INFO [stderr]     |
Dec 02 12:40:18.584 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.584 INFO [stderr] 
Dec 02 12:40:18.584 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.584 INFO [stderr]    --> src/strong/balanced.rs:248:24
Dec 02 12:40:18.584 INFO [stderr]     |
Dec 02 12:40:18.584 INFO [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Dec 02 12:40:18.584 INFO [stderr]     |                        ^^^
Dec 02 12:40:18.584 INFO [stderr]     |
Dec 02 12:40:18.584 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.584 INFO [stderr] 
Dec 02 12:40:18.584 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.584 INFO [stderr]    --> src/strong/balanced.rs:248:29
Dec 02 12:40:18.584 INFO [stderr]     |
Dec 02 12:40:18.584 INFO [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Dec 02 12:40:18.584 INFO [stderr]     |                             ^^^
Dec 02 12:40:18.584 INFO [stderr]     |
Dec 02 12:40:18.584 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.584 INFO [stderr] 
Dec 02 12:40:18.584 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.584 INFO [stderr]    --> src/strong/balanced.rs:248:34
Dec 02 12:40:18.584 INFO [stderr]     |
Dec 02 12:40:18.584 INFO [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Dec 02 12:40:18.584 INFO [stderr]     |                                  ^^^
Dec 02 12:40:18.584 INFO [stderr]     |
Dec 02 12:40:18.584 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.585 INFO [stderr] 
Dec 02 12:40:18.585 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.585 INFO [stderr]    --> src/strong/balanced.rs:248:39
Dec 02 12:40:18.585 INFO [stderr]     |
Dec 02 12:40:18.585 INFO [stderr] 248 |     (LteCmp) IntLteCmp(Int, Int, Int, Int): Int {
Dec 02 12:40:18.585 INFO [stderr]     |                                       ^^^
Dec 02 12:40:18.585 INFO [stderr]     |
Dec 02 12:40:18.585 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.585 INFO [stderr] 
Dec 02 12:40:18.585 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.585 INFO [stderr]    --> src/strong/balanced.rs:254:26
Dec 02 12:40:18.585 INFO [stderr]     |
Dec 02 12:40:18.585 INFO [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Dec 02 12:40:18.585 INFO [stderr]     |                          ^^^
Dec 02 12:40:18.585 INFO [stderr]     |
Dec 02 12:40:18.585 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.585 INFO [stderr] 
Dec 02 12:40:18.585 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.585 INFO [stderr]    --> src/strong/balanced.rs:254:31
Dec 02 12:40:18.585 INFO [stderr]     |
Dec 02 12:40:18.585 INFO [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Dec 02 12:40:18.585 INFO [stderr]     |                               ^^^
Dec 02 12:40:18.585 INFO [stderr]     |
Dec 02 12:40:18.585 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.585 INFO [stderr] 
Dec 02 12:40:18.585 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.585 INFO [stderr]    --> src/strong/balanced.rs:254:36
Dec 02 12:40:18.585 INFO [stderr]     |
Dec 02 12:40:18.585 INFO [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Dec 02 12:40:18.585 INFO [stderr]     |                                    ^^^^^^^
Dec 02 12:40:18.585 INFO [stderr]     |
Dec 02 12:40:18.585 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.585 INFO [stderr] 
Dec 02 12:40:18.585 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.585 INFO [stderr]    --> src/strong/balanced.rs:254:45
Dec 02 12:40:18.585 INFO [stderr]     |
Dec 02 12:40:18.585 INFO [stderr] 254 |     (LteCmp2) IntLteCmp2(Int, Int, IntPair, IntPair): IntPair {
Dec 02 12:40:18.585 INFO [stderr]     |                                             ^^^^^^^
Dec 02 12:40:18.585 INFO [stderr]     |
Dec 02 12:40:18.585 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.585 INFO [stderr] 
Dec 02 12:40:18.585 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.585 INFO [stderr]    --> src/strong/balanced.rs:261:18
Dec 02 12:40:18.585 INFO [stderr]     |
Dec 02 12:40:18.585 INFO [stderr] 261 |     (Abs) IntAbs(Int): Int {
Dec 02 12:40:18.585 INFO [stderr]     |                  ^^^
Dec 02 12:40:18.585 INFO [stderr]     |
Dec 02 12:40:18.585 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.585 INFO [stderr] 
Dec 02 12:40:18.585 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.585 INFO [stderr]    --> src/strong/balanced.rs:273:40
Dec 02 12:40:18.585 INFO [stderr]     |
Dec 02 12:40:18.585 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Dec 02 12:40:18.585 INFO [stderr]     |                                        ^^^
Dec 02 12:40:18.585 INFO [stderr]     |
Dec 02 12:40:18.585 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.585 INFO [stderr] 
Dec 02 12:40:18.585 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.585 INFO [stderr]    --> src/strong/balanced.rs:273:45
Dec 02 12:40:18.585 INFO [stderr]     |
Dec 02 12:40:18.585 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Dec 02 12:40:18.585 INFO [stderr]     |                                             ^^^
Dec 02 12:40:18.585 INFO [stderr]     |
Dec 02 12:40:18.585 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.585 INFO [stderr] 
Dec 02 12:40:18.585 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.585 INFO [stderr]    --> src/strong/balanced.rs:273:50
Dec 02 12:40:18.585 INFO [stderr]     |
Dec 02 12:40:18.585 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Dec 02 12:40:18.585 INFO [stderr]     |                                                  ^^^
Dec 02 12:40:18.585 INFO [stderr]     |
Dec 02 12:40:18.585 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.585 INFO [stderr] 
Dec 02 12:40:18.585 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.585 INFO [stderr]    --> src/strong/balanced.rs:273:55
Dec 02 12:40:18.585 INFO [stderr]     |
Dec 02 12:40:18.585 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Dec 02 12:40:18.585 INFO [stderr]     |                                                       ^^^
Dec 02 12:40:18.585 INFO [stderr]     |
Dec 02 12:40:18.585 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.585 INFO [stderr] 
Dec 02 12:40:18.585 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.585 INFO [stderr]    --> src/strong/balanced.rs:273:60
Dec 02 12:40:18.585 INFO [stderr]     |
Dec 02 12:40:18.585 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Dec 02 12:40:18.585 INFO [stderr]     |                                                            ^^^
Dec 02 12:40:18.585 INFO [stderr]     |
Dec 02 12:40:18.585 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.586 INFO [stderr] 
Dec 02 12:40:18.586 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.586 INFO [stderr]    --> src/strong/balanced.rs:273:65
Dec 02 12:40:18.586 INFO [stderr]     |
Dec 02 12:40:18.586 INFO [stderr] 273 |     (AbsMinThreeCmp) IntAbsMinThreeCmp(Int, Int, Int, Int, Int, Int): IntPair {
Dec 02 12:40:18.586 INFO [stderr]     |                                                                 ^^^
Dec 02 12:40:18.586 INFO [stderr]     |
Dec 02 12:40:18.586 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.586 INFO [stderr] 
Dec 02 12:40:18.586 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.586 INFO [stderr]    --> src/strong/balanced.rs:284:18
Dec 02 12:40:18.586 INFO [stderr]     |
Dec 02 12:40:18.586 INFO [stderr] 284 |     (Rev) IntRev(Int): Int {
Dec 02 12:40:18.586 INFO [stderr]     |                  ^^^
Dec 02 12:40:18.586 INFO [stderr]     |
Dec 02 12:40:18.586 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.586 INFO [stderr] 
Dec 02 12:40:18.586 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.586 INFO [stderr]    --> src/strong/balanced.rs:290:34
Dec 02 12:40:18.586 INFO [stderr]     |
Dec 02 12:40:18.586 INFO [stderr] 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Dec 02 12:40:18.586 INFO [stderr]     |                                  ^^^
Dec 02 12:40:18.586 INFO [stderr]     |
Dec 02 12:40:18.586 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.586 INFO [stderr] 
Dec 02 12:40:18.586 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.586 INFO [stderr]    --> src/strong/balanced.rs:290:39
Dec 02 12:40:18.586 INFO [stderr]     |
Dec 02 12:40:18.586 INFO [stderr] 290 |     (RevInternal) IntRevInternal(Int, Int): Int {
Dec 02 12:40:18.586 INFO [stderr]     |                                       ^^^
Dec 02 12:40:18.586 INFO [stderr]     |
Dec 02 12:40:18.586 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.586 INFO [stderr] 
Dec 02 12:40:18.586 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.586 INFO [stderr]    --> src/strong/balanced.rs:302:18
Dec 02 12:40:18.586 INFO [stderr]     |
Dec 02 12:40:18.586 INFO [stderr] 302 |     (Div) IntDiv(Int, Int): Int {
Dec 02 12:40:18.586 INFO [stderr]     |                  ^^^
Dec 02 12:40:18.586 INFO [stderr]     |
Dec 02 12:40:18.586 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.586 INFO [stderr] 
Dec 02 12:40:18.586 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.586 INFO [stderr]    --> src/strong/balanced.rs:302:23
Dec 02 12:40:18.586 INFO [stderr]     |
Dec 02 12:40:18.586 INFO [stderr] 302 |     (Div) IntDiv(Int, Int): Int {
Dec 02 12:40:18.586 INFO [stderr]     |                       ^^^
Dec 02 12:40:18.586 INFO [stderr]     |
Dec 02 12:40:18.586 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.586 INFO [stderr] 
Dec 02 12:40:18.586 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.586 INFO [stderr]    --> src/strong/balanced.rs:326:18
Dec 02 12:40:18.586 INFO [stderr]     |
Dec 02 12:40:18.586 INFO [stderr] 326 |     (Rem) IntRem(Int, Int): Int {
Dec 02 12:40:18.586 INFO [stderr]     |                  ^^^
Dec 02 12:40:18.586 INFO [stderr]     |
Dec 02 12:40:18.586 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.586 INFO [stderr] 
Dec 02 12:40:18.586 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.586 INFO [stderr]    --> src/strong/balanced.rs:326:23
Dec 02 12:40:18.586 INFO [stderr]     |
Dec 02 12:40:18.586 INFO [stderr] 326 |     (Rem) IntRem(Int, Int): Int {
Dec 02 12:40:18.586 INFO [stderr]     |                       ^^^
Dec 02 12:40:18.586 INFO [stderr]     |
Dec 02 12:40:18.586 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.586 INFO [stderr] 
Dec 02 12:40:18.586 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.586 INFO [stderr]    --> src/strong/balanced.rs:349:34
Dec 02 12:40:18.586 INFO [stderr]     |
Dec 02 12:40:18.586 INFO [stderr] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Dec 02 12:40:18.586 INFO [stderr]     |                                  ^^^
Dec 02 12:40:18.586 INFO [stderr]     |
Dec 02 12:40:18.586 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.586 INFO [stderr] 
Dec 02 12:40:18.586 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.586 INFO [stderr]    --> src/strong/balanced.rs:349:39
Dec 02 12:40:18.586 INFO [stderr]     |
Dec 02 12:40:18.586 INFO [stderr] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Dec 02 12:40:18.586 INFO [stderr]     |                                       ^^^
Dec 02 12:40:18.586 INFO [stderr]     |
Dec 02 12:40:18.586 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.586 INFO [stderr] 
Dec 02 12:40:18.586 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases
Dec 02 12:40:18.586 INFO [stderr]    --> src/strong/balanced.rs:349:44
Dec 02 12:40:18.586 INFO [stderr]     |
Dec 02 12:40:18.586 INFO [stderr] 349 |     (DivInternal) IntDivInternal(Int, Int, IntPair): IntPair {
Dec 02 12:40:18.587 INFO [stderr]     |                                            ^^^^^^^
Dec 02 12:40:18.587 INFO [stderr]     |
Dec 02 12:40:18.587 INFO [stderr]     = help: the bound will not be checked when the type alias is used, and should be removed
Dec 02 12:40:18.587 INFO [stderr] 
Dec 02 12:40:19.971 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 4.74s
Dec 02 12:40:19.974 INFO [stderr] su: No module specific data is present
Dec 02 12:40:21.662 INFO running `"docker" "inspect" "f2a3f70e582699fcefbcb7b839825ff6648a7a427919a0ec7b8d8a6060e400cb"`
Dec 02 12:40:22.103 INFO running `"docker" "rm" "-f" "f2a3f70e582699fcefbcb7b839825ff6648a7a427919a0ec7b8d8a6060e400cb"`
Dec 02 12:40:22.340 INFO [stdout] f2a3f70e582699fcefbcb7b839825ff6648a7a427919a0ec7b8d8a6060e400cb
Dec 02 12:40:22.345 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-1/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 02 12:40:22.771 INFO [stdout] c2aa2ea69517c69d5177a10b60337e4910458f84c39f13d8f695d1b325a41498
Dec 02 12:40:22.771 INFO running `"docker" "start" "-a" "c2aa2ea69517c69d5177a10b60337e4910458f84c39f13d8f695d1b325a41498"`
Dec 02 12:40:23.862 INFO [stderr] usermod: no changes
Dec 02 12:40:23.906 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.01s
Dec 02 12:40:23.915 INFO [stderr]      Running /target/debug/deps/type_level_logic-93e174518dcdc2cb
Dec 02 12:40:23.931 INFO [stdout] 
Dec 02 12:40:23.931 INFO [stdout] running 24 tests
Dec 02 12:40:23.931 INFO [stdout] test strong::balanced::tests::balanced_ternary_abs ... ok
Dec 02 12:40:23.931 INFO [stdout] test strong::balanced::tests::balanced_ternary_abs_min_three_cmp ... ok
Dec 02 12:40:23.931 INFO [stdout] test strong::balanced::tests::balanced_ternary_add ... ok
Dec 02 12:40:23.931 INFO [stdout] test strong::balanced::tests::balanced_ternary_cmp ... ok
Dec 02 12:40:23.931 INFO [stdout] test strong::balanced::tests::balanced_ternary_rem ... ok
Dec 02 12:40:23.931 INFO [stdout] test strong::balanced::tests::balanced_ternary_rev ... ok
Dec 02 12:40:23.931 INFO [stdout] test strong::balanced::tests::balanced_ternary_sub ... ok
Dec 02 12:40:23.931 INFO [stdout] test strong::balanced::tests::balanced_ternary_pred ... ok
Dec 02 12:40:23.931 INFO [stdout] test strong::balanced::tests::balanced_ternary_mul ... ok
Dec 02 12:40:23.931 INFO [stdout] test strong::balanced::tests::balanced_ternary_succ ... ok
Dec 02 12:40:23.931 INFO [stdout] test strong::balanced::tests::balanced_ternary_lte_cmp ... ok
Dec 02 12:40:23.931 INFO [stdout] test strong::balanced::tests::balanced_ternary_div ... ok
Dec 02 12:40:23.931 INFO [stdout] test strong::ternary::tests::ternary_add ... ok
Dec 02 12:40:23.931 INFO [stdout] test strong::ternary::tests::ternary_div ... ok
Dec 02 12:40:23.931 INFO [stdout] test strong::ternary::tests::ternary_double_pred ... ok
Dec 02 12:40:23.931 INFO [stdout] test strong::ternary::tests::ternary_mul ... ok
Dec 02 12:40:23.931 INFO [stdout] test strong::ternary::tests::ternary_pred ... ok
Dec 02 12:40:23.931 INFO [stdout] test strong::ternary::tests::ternary_rem ... ok
Dec 02 12:40:23.931 INFO [stdout] test strong::ternary::tests::ternary_sub ... ok
Dec 02 12:40:23.943 INFO [stdout] test strong::ternary::tests::ternary_succ ... ok
Dec 02 12:40:23.943 INFO [stdout] test strong::ternary::tests::ternary_undef_or_2 ... ok
Dec 02 12:40:23.943 INFO [stdout] test types::balanced::tests::balanced_ternary_constants ... ok
Dec 02 12:40:23.943 INFO [stdout] test types::ternary::tests::ternary_constants ... ok
Dec 02 12:40:23.959 INFO [stdout] test strong::ternary::tests::ternary_sub_undefined ... ok
Dec 02 12:40:23.959 INFO [stdout] 
Dec 02 12:40:23.959 INFO [stdout] test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 02 12:40:23.959 INFO [stdout] 
Dec 02 12:40:23.962 INFO [stderr]    Doc-tests type-level-logic
Dec 02 12:40:25.606 INFO [stdout] 
Dec 02 12:40:25.606 INFO [stdout] running 0 tests
Dec 02 12:40:25.606 INFO [stdout] 
Dec 02 12:40:25.606 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 02 12:40:25.606 INFO [stdout] 
Dec 02 12:40:25.617 INFO [stderr] su: No module specific data is present
Dec 02 12:40:26.304 INFO running `"docker" "inspect" "c2aa2ea69517c69d5177a10b60337e4910458f84c39f13d8f695d1b325a41498"`
Dec 02 12:40:26.476 INFO running `"docker" "rm" "-f" "c2aa2ea69517c69d5177a10b60337e4910458f84c39f13d8f695d1b325a41498"`
Dec 02 12:40:26.671 INFO [stdout] c2aa2ea69517c69d5177a10b60337e4910458f84c39f13d8f695d1b325a41498
